Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse des mots par intelligence artificielle
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est quasiindependent domains - définition
PROTEIN STRUCTURAL DOMAIN
C2 domains
Power domains
Powerdomain; Power domain; History of power domains
In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.
Domains by Proxy
INTERNET COMPANY OFFERING DOMAIN PRIVACY SERVICES
Domains by proxy
Domains by Proxy (DBP) is an Internet company owned by the founder of GoDaddy, Bob Parsons. Domains by Proxy offers domain privacy services through partner domain registrars such as GoDaddy and Wild West Domains.
powerdomain
Powerdomain; Power domain; History of power domains
<theory> The powerdomain of a domain D is a domain
containing some of the subsets of D. Due to the asymmetry
condition in the definition of a partial order (and
therefore of a domain) the powerdomain cannot contain all the
subsets of D. This is because there may be different sets X
and Y such that X <= Y and Y <= X which, by the asymmetry
condition would have to be considered equal.
There are at least three possible orderings of the subsets of
a powerdomain:
Egli-Milner:
X <= Y iff for all x in X, exists y in Y: x <= y
and for all y in Y, exists x in X: x <= y
("The other domain always contains a related element").
Hoare or Partial Correctness or Safety:
X <= Y iff for all x in X, exists y in Y: x <= y
("The bigger domain always contains a bigger element").
Smyth or Total Correctness or Liveness:
X <= Y iff for all y in Y, exists x in X: x <= y
("The smaller domain always contains a smaller element").
If a powerdomain represents the result of an {abstract
interpretation} in which a bigger value is a safe
approximation to a smaller value then the Hoare powerdomain is
appropriate because the safe approximation Y to the
powerdomain X contains a safe approximation to each point in
X.
("<=" is written in LaTeX as sqsubseteq).
(1995-02-03)
Wikipédia
C2 domain
A C2 domain is a protein structural domain involved in targeting proteins to cell membranes. The typical version (PKC-C2) has a beta-sandwich composed of 8 β-strands that co-ordinates two or three calcium ions, which bind in a cavity formed by the first and final loops of the domain, on the membrane binding face. Many other C2 domain families don't have calcium binding activity.
